var dir_cf258670043783d5c4f2946bd5d84ea5 =
[
    [ "polygon_operations.hpp", "polygon__operations_8hpp_source.html", null ]
];